Definitions | x:A. B(x), es-E(es), es-locl(es; e; e'), loc(e), es-first(es; e), es-pred(es; e), es-vartype(es; i; x), es_state_when(es; e), es_state_after(es; e), es-time(es; e), es-causl(es; e; e'), es-isrcv(es; e), es-Msg(es), es-index(es; e), es-sends(es; l; e), es-lnk(es; e), es-sender(es; e), es-tag(es; e), es-val(es; e), es-Msgl(es; l), t.1, es_info(es), es-pred?(es), es-T(es), es_init(es), es-Trans(es), es_val(es), es_time(es), t.2, es-kind(es; e), es-M(es), es-eq(es), es-oaxioms(es), t T, event_system{i:l}, P Q, A c B, EOrderAxioms(E;pred?;info) |